大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Recovery Techniques for Multi-Microprocessor Systems (1980) 的图书(共6963本)

Information Systems Security [electronic resource] : Second International Conference, ICISS 2006, Kolkata, India, December 19-21, 2006. Proceedings

0
索取号：
作者：Bagchi、 Aditya.、Atluri、 Vijayalakshmi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Degano、 Pierpaolo.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

0
索取号：
作者：Barthe、 Gilles.、Boer、 Frank S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Techniques for Networked and Distributed Systems-FORTE 2008 [electronic resource] : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Higashino、 Teruo.、Yasumoto、 Keiichi.、El-Fakih、 Khaled.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Neural Preprocessing and Control of Reactive Walking Machines [electronic resource] : Towards Versatile Artificial Perception-Action Systems

0
索取号：
作者：Manoonpong、 Poramate.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Wind Energy Systems for Electric Power Generation [electronic resource]

0
索取号：
作者：Stiebler、 Manfred.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

High Performance Computing on Vector Systems 2006 [electronic resource] : Proceedings of the High Performance Computing Center Stuttgart, March 2006

0
索取号：
作者：Resch、 Michael.、B枚nisch、 Thomas.、Tiyyagura、 Sunil.、Furui、 Toshiyuki.、Seo、 Yoshiki.、Bez、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Supply Chain Management Based on SAP Systems [electronic resource] : Architecture and Planning Processes

0
索取号：
作者：Knolmayer、 Gerhard F.、Mertens、 Peter.、Zeier、 Alexander.、Dickersbach、 J枚rg Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Distributed Applications and Interoperable Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

0
索取号：
作者：Meier、 Ren茅.、Terzis、 Sotirios.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Temporal Logic and State Systems [electronic resource]

0
索取号：
作者：Kr枚ger、 Fred.、Merz、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

One Country, Two Systems, Three Legal Orders - Perspectives of Evolution [electronic resource]

0
索取号：
作者：Oliveira、 Jorge Costa.、Cardinal、 Paulo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Higashino、 Teruo.、Ulrich、 Andreas.、Hasegawa、 Toru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Requirements Management [electronic resource] : The Interface Between Requirements Development and All Other Systems Engineering Processes

0
索取号：
作者：Hood、 Colin.、Wiedemann、 Simon.、Fichtinger、 Stefan.、Pautz、 Urte.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods in Systems Biology [electronic resource] : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

0
索取号：
作者：Fisher、 Jasmin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Networks, Topology and Dynamics [electronic resource] : Theory and Applications to Economics and Social Systems

0
索取号：
作者：Naimzada、 Ahmad K.、Stefani、 Silvana.、Torriero、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Web Information Systems and Technologies [electronic resource] : Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers

0
索取号：
作者：Filipe、 Joaquim.、Cordeiro、 Jos茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.